Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems
نویسندگان
چکیده
In order to improve the development process of highintegrity systems, using formal methods, we consider how agile techniques may influence the Event-B formal method, and how Event-B may be used in a development that uses an agile approach. To examine the crossover between Event-B and agile methods we review the Disciplined Agile Delivery approach (DAD). The DAD approach is inspired by many state-of-the-art agile techniques, and we use it as a meta-analysis of current bestpractice. In this paper, we propose an agile process for using Event-B and examine how agile techniques might influence the use of Event-B. We identify a number of areas in which EventB could be improved and suggest that a different view of agile practices may be needed for an agile project involving formal development. Keywords–Agile; Formal Methods; Event-B; Critical Systems
منابع مشابه
Going Beyond Scrum Disciplined Agile Delivery
today’s Scrum vision of agile so ware development to a disciplined agile solu on delivery. It begins with a brief overview of the agile so ware development movement and its implica ons. We then overview the Scrum method with its associated benefi ts and drawbacks, and then how to move beyond Scrum to a full delivery process framework called Disciplined Agile Delivery (DAD). DAD is a governed, h...
متن کاملScaling Agile Software Development Disciplined Agility at Scale
to scale agile: Tailoring agile strategies to address the scaling challenges – such as geographic distribution, regulatory compliance, and large team size – faced by development teams and adopting agility across your organization. Both visions are important, but if you can’t successfully perform the former then there is little hope that you’ll be successful at the latter. This paper focuses on ...
متن کاملDefinition of the Formal Decision Model and Tool Support for Adapting Software Development Process to Particular Project Circumstances
ALJAZ ZRNEC, MARJAN KRISPER DEFINITION OF THE FORMAL DECISION MODEL AND TOOL SUPPORT FOR ADAPTINGSOFTWARE DEVELOPMENT PROCESS TO PARTICULAR PROJECT CIRCUMSTANCESMethodology is a recommended collection of phases, procedures, rules, techniques, tools, documentation,management, and training used to develop a software system. We can also say that beside the description of theprocess...
متن کاملQuantitative Verification of System Safety in Event-B
Certification of safety-critical systems requires formal verification of system properties and behaviour as well as quantitative demonstration of safety. Usually, formal modelling frameworks do not include quantitative assessment of safety. This has a negative impact on productivity and predictability of system development. In this paper we present an approach to integrating quantitative safety...
متن کامل